-
1 программа для построения доказательств
nIT. BeweisprogrammУниверсальный русско-немецкий словарь > программа для построения доказательств
-
2 программа
программа ж., работающая с окнами выч. Fensterprogramm nпрограмма ж., составленная в коде команд машины выч. Maschinenkodeprogramm n; maschinenübersetztes Programm nпрограмма ж., управляемая с помощью меню с. menügeführtes Programm n; menügesteuertes Programm nпрограмма ж., сохраняемая в памяти Speicherprogramm nпрограмма ж. ввода Beschickungsprogramm n; выч. Eingabeprogramm n; выч. Eingaberoutine f; выч. Einleseprogramm nпрограмма ж. ВМ Rechnerprogramm nпрограмма ж. начальной загрузки выч. Anfangsladeprogramm n; выч. Anfangslader m; Anfangsprogrammlader m; выч. Urlader mпрограмма ж. обнаружения ошибок выч. Diagnoseprogramm n; выч. Fehlersuchprogramm n; выч. Suchprogramm nпрограмма ж. обработки ошибок Fehlerbehandlungsprogramm n; выч. Fehlerbehandlungsroutine f; выч. Fehlermaßnahmeprogramm nпрограмма ж. обработки прерываний Interruptbehandungsprogramm n; выч. Interruptroutine f; выч. Unterbrechungsbehandlungsprogramm nпрограмма ж. перевода Interpretierprogramm n; interpretierendes Programm n; umdeutendes Programm n; Übersetzungsprogramm nпрограмма ж. редактирования выч. Aufbereitungsprogramm n; выч. Edit-Programm n; выч. Editierprogramm n; Editor m; Programmverbinder mпрограмма ж. трассировки выч. Ablaufverfolgungsprogramm n; выч. Aufzeichnungsprogramm n; выч. Folgeprüfprogramm n; выч. Trassierprogramm n
См. также в других словарях:
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
НОВЫЙ ОРГАНОН, или Истинные указания для истолкования природы — ( Novum Organum Scientiarum ) основное сочинение Ф.Бэкона, в котором излагаются основы выдвинутой им опытной (индуктивной) методологии. Опубликовано в Лондоне в 1620 на латинском языке. Н.О... был задуман как вторая часть генерального труда всей… … История Философии: Энциклопедия
Постулат — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… … Википедия
Постулирование — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… … Википедия
Постулят — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… … Википедия
ХИНТИККА Яакко — ХИНТИККА (Hintikka) Яакко (р. 1929), финский логик и философ, ученик Вригта (см. ВРИГТ Георг Хенрик фон). Преподавал в Стэнфордском и Хельсинском университетах, член Академии Финляндии (с 1970), Американской академии наук и искусств, входит в… … Энциклопедический словарь
ДОКАЗАТЕЛЬСТВА БЫТИЯ БОЖИЯ — разработанные в философии и богословии теоретические аргументы, обосновывающие средствами человеческого разума необходимость признания существования Бога. В Свящ. Писании ВЗ и НЗ, к рое свидетельствует о Боге и является основанием христ. веры в… … Православная энциклопедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
ГОМИЛЕТИКА — [от греч. ὁμιλία беседа, общение, собрание и лат. ethica учение о нравственности], наука о церковной проповеди, в систематическом порядке излагающая учение о данном виде пастырского служения. Гомилией или беседой называется первая, самая древняя… … Православная энциклопедия